1. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Gilles Barthe, Manuel Hermenegildo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Verification, model checking, and abstract interpretatio
پدیدآورنده : / Gilles Barthe, Manuel Hermenegildo (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programs--Verification--Congresses
رده :
QA
,
76
.
76
,.
V47
